polymake for integer linear programming ISMP 2012 Michael Joswig w/ Ewgenij Gawrilow and many others TU Darmstadt

Source URL: page.math.tu-berlin.de

Session types for linear multithreaded functional programming Paper by V. Vasconcelos, A. Ravara & S. Gay Presentation by H. U. Flemberg, S. S. Nielsen & A. S. Al-Sibahi Narrated by A. S. Al-Sibahi

Source URL: www.itu.dk

Register Allocation by Puzzle Solving Fernando Magno Quint˜ao Pereira Jens Palsberg UCLA Computer Science Department

Source URL: web.cs.ucla.edu

• Compiler optimizations
• Puzzles
• Software
• T puzzle
• Register allocation
• Mathematics
• Linear programming
• Static single assignment form
• LLVM

Linear Programming for Large-Scale Markov Decision Problems Yasin Abbasi-Yadkori Queensland University of Technology, Brisbane, QLD, Australia 4000 Peter L. Bartlett University of California, Berkeley, CA 94720

Source URL: webdocs.cs.ualberta.ca

• Statistics
• Markov processes
• Statistical theory
• Estimation theory
• Dynamic programming
• Markov decision process
• Stochastic control
• Loss function
• Markov chain
• M-estimator
• Bearing pressure
• Jet bundle

CSStat 260, Fall 2014: Learning in Sequential Decision Problems Lectures: Evans 334. Tuesday/Thursday 2:00-3:30. Instructor: Peter Bartlett http://www.stat.berkeley.edu/∼bartlett

Source URL: www.stat.berkeley.edu

• Mathematical optimization
• Operations research
• Mathematical analysis
• Numerical analysis
• Convex optimization
• Stochastic optimization
• Multi-armed bandit
• Game theory
• Linear programming
• AMPL

VolumeDeform: Real-time Volumetric Non-rigid Reconstruction Matthias Innmann1 Michael Zollh¨ofer2 Matthias Nießner3 Christian Theobalt2 Marc Stamminger1

Source URL: arxiv.org

• Convex optimization
• Linear programming
• Operations research
• Plasticity
• 3D reconstruction

Efficient Reasoning about Data Trees via Integer Linear Programming Claire David Leonid Libkin

Source URL: www-igm.univ-mlv.fr

EERA-DTOC Software EWEA Offshore, Copenhagen, 10 March 2015 Gregor Giebel, DTU Wind Energy, Risø, DK Igor Waldl, Felix Dierich, Overspeed, Oldenburg, DE Peter Stuart, RES, London, UK

Source URL: www.eera-dtoc.eu

• Software
• Computing
• Application software
• Cross-platform software
• Array programming languages
• Computer file formats
• Wind power
• Linear algebra
• MATLAB
• NetCDF
• WAsP
• ASCII

Linear Algebra Programming Motifs John G. Lewis Cray Inc. (retired) March 2, 2011

Source URL: chapel.cray.com

STAT 471: Linear and Nonlinear Programming Fall 2016 Instructor: Li Wang Office: SEO 726 Phone:(main office)

Source URL: liwang8.people.uic.edu